Formal description of a DNA oriented computer language
نویسندگان
چکیده
منابع مشابه
Formal description of a DNA oriented computer language
A computer language termed DNA has been devised to aid in the description of DNA sequence manipulations. This was an outgrowth of a DNA sequence editor which has been implemented for a microcomputer. A formal description of the language in the BNF formalism is presented.
متن کاملFormal description of human-computer graphical communication
The problems of human-computer communication (HCC) that arise with introduction of user groups with special needs are discussed. We analyze new approaches that increase the quality of HCC in the environment of disabled users or user utilizing mobile devices. In both cases the problem of adaptation of the interactive system (which communicates with the user) to dynamically and very strongly chan...
متن کاملFeature-Oriented Description, Formal Methods, and DFC
This paper explores the close relationship between feature-oriented and architectural styles of formal system description, and explains the formal methods needed to support descriptions in these styles. In the telecommunications domain, DFC is a successful example of a feature-oriented, architectural description technique. Although formal methods for DFC are in their infancy, there are already ...
متن کاملthe impact of computer-assisted language learning on achievement motivation of high school students
چکیده انگیزه دلیل اصلی رفتارهای ما است. به نظر می رسد انگیزه جزء جدایی ناپذیر فرایند یادگیری باشد. ارزش ذاتی موفقیت تمایل به پیشرفت را در یادگیرنده ایجاد میکند. به عبارت ساده این تمایل انگیزه پیشرفت نامیده میشود. انگیزه پیشرفت را میتوان در احساس یادگیرنده هنگام چالش با درس های مدرسه، لذت انجام فعالیت درسی، یا حس کشف پاسخ مشاهده کرد.حتی ممکن است انگیزه پیشرفت را در تلاش یادگیرنده برای جلب تایید...
A Novel Formal Semantics for a Parallel Object-Oriented Language
The Parallel Object-Oriented language POOL integrates object-oriented characteristics with synchronous communication among objects. A novel formal description of POOL is given here. The description is written using Mosses' action notation style of formal speciication. It is then, compared with other formal speciications of the language. Understandability, extensibility and modularity are the ma...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nucleic Acids Research
سال: 1982
ISSN: 0305-1048,1362-4962
DOI: 10.1093/nar/10.1.69